PRISM model checker - PDFSEARCH.IO - Document Search Engine

PRISM model checker
Results: 18

#	Item
11	Verification of Probabilistic  Real-time Systems    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-08-29 08:21:43 Probability and statistics Model checking PRISM model checker Markov chain Markov decision process Construction and Analysis of Distributed Processes Statistics Markov processes Model checkers
12	Design and Analysis of  DNA Strand Displacement Devices  using Probabilistic Model Checking  Dave Parker  School of Computer Science, University of Birmingham Joint work with: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-15 10:32:21 Statistics Model checking PRISM model checker PAT Formal verification Markov chain Scientific modelling Stochastic SPIN model checker Model checkers Theoretical computer science Applied mathematics
13	Automated Game-theoretic Verification for Probabilistic Systems   Dave Parker  University of Birmingham Imperial College London, December 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-12-13 17:18:55 Model checkers Mathematical logic Formal languages PRISM model checker Model checking Markov chain Stochastic Well-formed formula Linear temporal logic Logic Statistics Mathematics
14	Quan%ta%ve Veriﬁca%on: Correctness, Reliability and Beyond Dave Parker University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 17:08:31 Statistics Applied mathematics SPIN model checker Mathematics Markov chain PRISM model checker Algorithm Probability Model checkers Markov models Theoretical computer science
15	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2002-06-24 05:00:37 Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing
16	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
17	Detection of CLL Minimal Residual Disease by Flow Cytometric Analysis Add to Reading List Source URL: www.fda.gov Language: English B-cell chronic lymphocytic leukemia Lymphocytic leukemia Minimal residual disease Cytometry Flow cytometry Staining Gate PTPRC PRISM model checker Biology Medicine Cell biology
18	PDF Document Add to Reading List Source URL: qav.cs.ox.ac.uk Language: English - Date: 2011-05-07 05:01:22 PP Quantum complexity theory Probabilistic method PRISM model checker Model checking Theoretical computer science Computational complexity theory Applied mathematics